home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
You can browse this item here: local.suppl
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 100%
| dexvert
| Texinfo Document (document/texInfo)
| magic
| Supported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| TeX document text
| default
| |
| 99%
| file
| LaTeX document, ASCII text
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5c 73 75 62 73 75 62 73 | 65 63 74 69 6f 6e 7b 54 |\subsubs|ection{T|
|00000010| 68 65 20 7b 5c 74 74 20 | 61 34 7d 20 61 6e 64 20 |he {\tt |a4} and |
|00000020| 7b 5c 74 74 20 61 34 77 | 69 64 65 7d 20 53 74 79 |{\tt a4w|ide} Sty|
|00000030| 6c 65 20 4f 70 74 69 6f | 6e 73 7d 0a 0a 42 79 20 |le Optio|ns}..By |
|00000040| 64 65 66 61 75 6c 74 2c | 20 74 68 65 20 6f 75 74 |default,| the out|
|00000050| 70 75 74 20 70 61 67 65 | 20 69 73 20 64 65 73 69 |put page| is desi|
|00000060| 67 6e 65 64 20 74 6f 20 | 62 65 20 70 72 69 6e 74 |gned to |be print|
|00000070| 65 64 20 6f 6e 20 55 53 | 20 70 61 70 65 72 2e 0a |ed on US| paper..|
|00000080| 54 68 65 20 7b 5c 74 74 | 20 61 34 7d 20 61 6e 64 |The {\tt| a4} and|
|00000090| 20 7b 5c 74 74 20 61 34 | 77 69 64 65 7d 20 73 74 | {\tt a4|wide} st|
|000000a0| 79 6c 65 20 6f 70 74 69 | 6f 6e 73 20 72 65 73 75 |yle opti|ons resu|
|000000b0| 6c 74 20 69 6e 20 6f 75 | 74 70 75 74 0a 74 68 61 |lt in ou|tput.tha|
|000000c0| 74 20 66 69 74 73 20 62 | 65 74 74 65 72 20 6f 6e |t fits b|etter on|
|000000d0| 74 6f 20 41 34 20 73 69 | 7a 65 20 70 61 67 65 73 |to A4 si|ze pages|
|000000e0| 2e 0a 49 74 20 69 73 20 | 73 6f 6d 65 74 69 6d 65 |..It is |sometime|
|000000f0| 73 20 63 6f 6e 76 65 6e | 69 65 6e 74 20 74 6f 20 |s conven|ient to |
|00000100| 62 65 20 61 62 6c 65 20 | 74 6f 20 66 69 74 20 6d |be able |to fit m|
|00000110| 6f 72 65 20 74 65 78 74 | 20 6f 6e 74 6f 20 61 6e |ore text| onto an|
|00000120| 20 41 34 20 70 61 67 65 | 2e 0a 54 68 65 20 7b 5c | A4 page|..The {\|
|00000130| 74 74 20 61 34 77 69 64 | 65 7d 20 6f 70 74 69 6f |tt a4wid|e} optio|
|00000140| 6e 20 61 63 63 6f 6d 70 | 6c 69 73 68 65 73 20 74 |n accomp|lishes t|
|00000150| 68 69 73 20 62 79 20 75 | 73 69 6e 67 20 6e 61 72 |his by u|sing nar|
|00000160| 72 6f 77 65 72 20 6d 61 | 72 67 69 6e 73 2e 0a 0a |rower ma|rgins...|
|00000170| 5c 73 75 62 73 75 62 73 | 65 63 74 69 6f 6e 7b 54 |\subsubs|ection{T|
|00000180| 68 65 20 7b 5c 74 74 20 | 74 67 72 69 6e 64 7d 20 |he {\tt |tgrind} |
|00000190| 53 74 79 6c 65 20 4f 70 | 74 69 6f 6e 7d 7b 5c 6c |Style Op|tion}{\l|
|000001a0| 61 62 65 6c 7b 74 61 67 | 72 69 6e 64 7d 7d 0a 0a |abel{tag|rind}}..|
|000001b0| 49 74 20 69 73 20 75 73 | 65 66 75 6c 20 74 6f 20 |It is us|eful to |
|000001c0| 62 65 20 61 62 6c 65 20 | 74 6f 20 69 6e 63 6c 75 |be able |to inclu|
|000001d0| 64 65 20 70 72 6f 67 72 | 61 6d 20 66 72 61 67 6d |de progr|am fragm|
|000001e0| 65 6e 74 73 20 61 73 20 | 66 69 67 75 72 65 73 20 |ents as |figures |
|000001f0| 69 6e 20 61 0a 74 65 78 | 74 2e 20 20 54 68 65 20 |in a.tex|t. The |
|00000200| 7b 5c 74 74 20 74 67 72 | 69 6e 64 7d 20 73 74 79 |{\tt tgr|ind} sty|
|00000210| 6c 65 20 6f 70 74 69 6f | 6e 20 63 61 6e 20 62 65 |le optio|n can be|
|00000220| 20 75 73 65 64 20 74 6f | 20 61 63 63 6f 6d 70 6c | used to| accompl|
|00000230| 69 73 68 20 74 68 69 73 | 0a 66 61 69 72 6c 79 20 |ish this|.fairly |
|00000240| 70 61 69 6e 6c 65 73 73 | 6c 79 20 62 79 20 64 65 |painless|ly by de|
|00000250| 66 69 6e 69 6e 67 20 74 | 68 65 20 5c 76 65 72 62 |fining t|he \verb|
|00000260| 7c 5c 74 61 67 72 69 6e | 64 7c 20 63 6f 6d 6d 61 ||\tagrin|d| comma|
|00000270| 6e 64 2e 20 0a 0a 54 68 | 65 20 5c 76 65 72 62 7c |nd. ..Th|e \verb||
|00000280| 5c 74 61 67 72 69 6e 64 | 7c 20 63 6f 6d 6d 61 6e |\tagrind|| comman|
|00000290| 64 20 68 61 73 20 74 68 | 65 20 66 6f 6c 6c 6f 77 |d has th|e follow|
|000002a0| 69 6e 67 20 70 72 6f 66 | 6f 72 6d 61 3a 0a 5c 62 |ing prof|orma:.\b|
|000002b0| 65 67 69 6e 7b 69 74 65 | 6d 69 7a 65 7d 20 5c 74 |egin{ite|mize} \t|
|000002c0| 74 0a 5c 69 74 65 6d 5b | 5d 0a 5c 76 65 72 62 7c |t.\item[|].\verb||
|000002d0| 5c 74 61 67 72 69 6e 64 | 2a 7c 5b 7b 5c 69 74 20 |\tagrind|*|[{\it |
|000002e0| 6c 6f 63 5c 2f 7d 5d 5c | 7b 7b 5c 69 74 20 66 69 |loc\/}]\|{{\it fi|
|000002f0| 6c 65 5c 2f 7d 5c 7d 5c | 7b 7b 5c 69 74 20 63 61 |le\/}\}\|{{\it ca|
|00000300| 70 74 69 6f 6e 20 5c 2f | 7d 5c 7d 5c 7b 7b 5c 69 |ption \/|}\}\{{\i|
|00000310| 74 20 6c 61 62 65 6c 20 | 5c 2f 7d 5c 7d 0a 5c 65 |t label |\/}\}.\e|
|00000320| 6e 64 7b 69 74 65 6d 69 | 7a 65 7d 0a 0a 41 73 20 |nd{itemi|ze}..As |
|00000330| 75 73 75 61 6c 2c 0a 5c | 62 65 67 69 6e 7b 69 74 |usual,.\|begin{it|
|00000340| 65 6d 69 7a 65 7d 0a 5c | 69 74 65 6d 20 69 6e 20 |emize}.\|item in |
|00000350| 74 77 6f 2d 63 6f 6c 75 | 6d 6e 20 66 6f 72 6d 61 |two-colu|mn forma|
|00000360| 74 2c 20 74 68 65 20 6f | 72 64 69 6e 61 72 79 20 |t, the o|rdinary |
|00000370| 66 6f 72 6d 20 70 72 6f | 64 75 63 65 73 20 61 0a |form pro|duces a.|
|00000380| 73 69 6e 67 6c 65 2d 63 | 6f 6c 75 6d 6e 20 6c 69 |single-c|olumn li|
|00000390| 73 74 69 6e 67 20 61 6e | 64 20 74 68 65 20 24 5c |sting an|d the $\|
|000003a0| 61 73 74 24 2d 66 6f 72 | 6d 73 20 70 72 6f 64 75 |ast$-for|ms produ|
|000003b0| 63 65 73 20 61 20 64 6f | 75 62 6c 65 2d 63 6f 6c |ces a do|uble-col|
|000003c0| 75 6d 6e 20 6c 69 73 74 | 69 6e 67 3b 0a 0a 5c 69 |umn list|ing;..\i|
|000003d0| 74 65 6d 20 7b 5c 69 74 | 20 6c 6f 63 5c 2f 7d 0a |tem {\it| loc\/}.|
|000003e0| 69 73 20 61 20 73 65 71 | 75 65 6e 63 65 20 6f 66 |is a seq|uence of|
|000003f0| 20 6f 6e 65 20 74 6f 20 | 66 6f 75 72 20 6f 66 20 | one to |four of |
|00000400| 74 68 65 20 6c 65 74 74 | 65 72 73 20 5c 76 65 72 |the lett|ers \ver|
|00000410| 62 7c 68 7c 20 28 7b 5c | 69 74 20 68 65 72 65 5c |b|h| ({\|it here\|
|00000420| 2f 7d 29 2c 0a 5c 76 65 | 72 62 7c 74 7c 20 28 7b |/}),.\ve|rb|t| ({|
|00000430| 5c 69 74 20 74 6f 70 5c | 2f 7d 29 2c 20 5c 76 65 |\it top\|/}), \ve|
|00000440| 72 62 7c 62 7c 20 28 7b | 5c 69 74 20 62 6f 74 74 |rb|b| ({|\it bott|
|00000450| 6f 6d 5c 2f 7d 29 20 61 | 6e 64 20 5c 76 65 72 62 |om\/}) a|nd \verb|
|00000460| 7c 70 7c 20 28 7b 5c 69 | 74 0a 70 61 67 65 5c 2f ||p| ({\i|t.page\/|
|00000470| 7d 29 20 73 70 65 63 69 | 66 79 69 6e 67 20 77 68 |}) speci|fying wh|
|00000480| 65 72 65 20 74 68 65 20 | 6c 69 73 74 69 6e 67 20 |ere the |listing |
|00000490| 6d 61 79 20 62 65 20 70 | 6c 61 63 65 64 2e 20 0a |may be p|laced. .|
|000004a0| 0a 5c 69 74 65 6d 20 7b | 5c 69 74 20 66 69 6c 65 |.\item {|\it file|
|000004b0| 7d 20 73 70 65 63 69 66 | 69 65 73 20 74 68 65 20 |} specif|ies the |
|000004c0| 66 69 6c 65 20 66 72 6f | 6d 20 77 68 69 63 68 20 |file fro|m which |
|000004d0| 74 68 65 20 67 72 6f 75 | 6e 64 20 6c 69 73 74 69 |the grou|nd listi|
|000004e0| 6e 67 0a 69 73 20 74 6f | 20 62 65 20 74 61 6b 65 |ng.is to| be take|
|000004f0| 6e 2e 0a 0a 5c 69 74 65 | 6d 20 7b 5c 69 74 20 63 |n...\ite|m {\it c|
|00000500| 61 70 74 69 6f 6e 7d 20 | 70 72 6f 64 75 63 65 73 |aption} |produces|
|00000510| 20 61 20 6e 75 6d 62 65 | 72 65 64 20 63 61 70 74 | a numbe|red capt|
|00000520| 69 6f 6e 2e 0a 0a 5c 69 | 74 65 6d 20 7b 5c 69 74 |ion...\i|tem {\it|
|00000530| 20 6c 61 62 65 6c 7d 20 | 61 73 73 69 67 6e 73 20 | label} |assigns |
|00000540| 61 20 6c 61 62 65 6c 20 | 74 6f 20 74 68 65 20 6c |a label |to the l|
|00000550| 69 73 74 69 6e 67 2c 20 | 73 6f 20 74 68 61 74 20 |isting, |so that |
|00000560| 69 74 20 6d 61 79 20 62 | 65 0a 72 65 66 65 72 72 |it may b|e.referr|
|00000570| 65 64 20 74 6f 20 62 79 | 20 6d 65 61 6e 73 20 74 |ed to by| means t|
|00000580| 6f 20 74 68 65 20 5c 76 | 65 72 62 7c 5c 72 65 66 |o the \v|erb|\ref|
|00000590| 7b 7c 7b 5c 69 74 20 6c | 61 62 65 6c 5c 2f 7d 5c |{|{\it l|abel\/}\|
|000005a0| 76 65 72 62 7c 7d 7c 20 | 63 6f 6d 6d 61 6e 64 2e |verb|}| |command.|
|000005b0| 0a 0a 5c 65 6e 64 7b 69 | 74 65 6d 69 7a 65 7d 0a |..\end{i|temize}.|
|000005c0| 0a 54 68 65 20 6c 69 73 | 74 69 6e 67 20 66 69 6c |.The lis|ting fil|
|000005d0| 65 20 73 68 6f 75 6c 64 | 20 62 65 20 67 65 6e 65 |e should| be gene|
|000005e0| 72 61 74 65 64 20 75 73 | 69 6e 67 20 7b 5c 74 74 |rated us|ing {\tt|
|000005f0| 20 74 67 72 69 6e 64 7d | 20 61 6e 64 20 72 65 6d | tgrind}| and rem|
|00000600| 6f 76 69 6e 67 20 74 68 | 65 20 66 69 72 73 74 20 |oving th|e first |
|00000610| 61 6e 64 20 6c 61 73 74 | 20 6c 69 6e 65 73 20 6f |and last| lines o|
|00000620| 66 20 74 68 65 20 72 65 | 73 75 6c 74 69 6e 67 20 |f the re|sulting |
|00000630| 66 69 6c 65 2e 20 46 6f | 72 20 65 78 61 6d 70 6c |file. Fo|r exampl|
|00000640| 65 2c 20 69 66 20 74 68 | 65 20 43 20 73 6f 75 72 |e, if th|e C sour|
|00000650| 63 65 20 66 69 6c 65 20 | 7b 5c 74 74 20 66 69 6c |ce file |{\tt fil|
|00000660| 65 2e 63 7d 20 77 65 72 | 65 20 74 6f 20 62 65 20 |e.c} wer|e to be |
|00000670| 75 73 65 64 20 61 73 20 | 61 20 6c 69 73 74 69 6e |used as |a listin|
|00000680| 67 2c 0a 5c 62 65 67 69 | 6e 7b 76 65 72 62 61 74 |g,.\begi|n{verbat|
|00000690| 69 6d 7d 0a 20 20 20 20 | 20 74 67 72 69 6e 64 20 |im}. | tgrind |
|000006a0| 2d 66 20 2d 6c 63 20 66 | 69 6c 65 2e 63 20 7c 20 |-f -lc f|ile.c | |
|000006b0| 73 65 64 20 2d 65 20 31 | 64 20 2d 65 20 5c 24 64 |sed -e 1|d -e \$d|
|000006c0| 20 3e 66 69 6c 65 2e 74 | 65 78 0a 5c 65 6e 64 7b | >file.t|ex.\end{|
|000006d0| 76 65 72 62 61 74 69 6d | 7d 0a 77 6f 75 6c 64 20 |verbatim|}.would |
|000006e0| 67 65 6e 65 72 61 74 65 | 20 61 20 66 69 6c 65 20 |generate| a file |
|000006f0| 7b 5c 74 74 20 66 69 6c | 65 2e 74 65 78 7d 20 73 |{\tt fil|e.tex} s|
|00000700| 75 69 74 61 62 6c 65 20 | 66 6f 72 20 75 73 65 0a |uitable |for use.|
|00000710| 77 69 74 68 20 5c 76 65 | 72 62 7c 74 61 67 72 69 |with \ve|rb|tagri|
|00000720| 6e 64 7c 2e 20 46 6f 72 | 20 65 78 61 6d 70 6c 65 |nd|. For| example|
|00000730| 2c 0a 5c 62 65 67 69 6e | 7b 76 65 72 62 61 74 69 |,.\begin|{verbati|
|00000740| 6d 7d 0a 5c 74 61 67 72 | 69 6e 64 7b 66 69 6c 65 |m}.\tagr|ind{file|
|00000750| 7d 7b 54 68 69 73 20 69 | 73 20 61 6e 20 65 78 61 |}{This i|s an exa|
|00000760| 6d 70 6c 65 7d 7b 65 67 | 7d 0a 5c 65 6e 64 7b 76 |mple}{eg|}.\end{v|
|00000770| 65 72 62 61 74 69 6d 7d | 0a 0a 5c 73 75 62 73 75 |erbatim}|..\subsu|
|00000780| 62 73 65 63 74 69 6f 6e | 7b 54 68 65 20 7b 5c 74 |bsection|{The {\t|
|00000790| 74 20 73 66 77 6d 61 63 | 7d 20 53 74 79 6c 65 20 |t sfwmac|} Style |
|000007a0| 4f 70 74 69 6f 6e 7d 0a | 0a 54 68 65 20 7b 5c 74 |Option}.|.The {\t|
|000007b0| 74 20 73 66 77 6d 61 63 | 7d 20 73 74 79 6c 65 20 |t sfwmac|} style |
|000007c0| 6f 70 74 69 6f 6e 20 64 | 65 66 69 6e 65 73 20 61 |option d|efines a|
|000007d0| 20 73 65 74 20 6f 66 20 | 6d 61 63 72 6f 73 20 77 | set of |macros w|
|000007e0| 68 69 63 68 20 61 72 65 | 0a 75 73 65 66 75 6c 20 |hich are|.useful |
|000007f0| 77 68 65 6e 20 77 72 69 | 74 69 6e 67 20 70 72 6f |when wri|ting pro|
|00000800| 67 72 61 6d 20 64 6f 63 | 75 6d 65 6e 74 61 74 69 |gram doc|umentati|
|00000810| 6f 6e 2e 20 20 54 68 65 | 20 5c 76 65 72 62 7c 5c |on. The| \verb|\|
|00000820| 70 67 6d 7b 7c 7b 5c 69 | 74 0a 70 72 6f 67 72 61 |pgm{|{\i|t.progra|
|00000830| 6d 5c 2f 7d 5c 76 65 72 | 62 7c 7d 7c 20 63 6f 6d |m\/}\ver|b|}| com|
|00000840| 6d 61 6e 64 20 65 78 70 | 65 63 74 73 20 61 20 70 |mand exp|ects a p|
|00000850| 72 6f 67 72 61 6d 20 6e | 61 6d 65 20 61 73 20 61 |rogram n|ame as a|
|00000860| 6e 20 61 72 67 75 6d 65 | 6e 74 2e 0a 54 68 65 20 |n argume|nt..The |
|00000870| 6e 61 6d 65 20 69 6e 20 | 70 72 69 6e 74 65 64 20 |name in |printed |
|00000880| 28 69 6e 20 69 74 61 6c | 69 63 73 29 20 61 6e 64 |(in ital|ics) and|
|00000890| 20 61 6e 20 69 6e 64 65 | 78 20 65 6e 74 72 79 20 | an inde|x entry |
|000008a0| 69 73 20 6d 61 64 65 20 | 66 6f 72 20 69 74 2e 0a |is made |for it..|
|000008b0| 53 69 6d 69 6c 61 72 6c | 79 2c 20 74 68 65 20 5c |Similarl|y, the \|
|000008c0| 76 65 72 62 7c 5c 6d 61 | 6e 7b 7c 7b 5c 69 74 20 |verb|\ma|n{|{\it |
|000008d0| 70 72 6f 67 72 61 6d 5c | 2f 7d 5c 76 65 72 62 7c |program\|/}\verb||
|000008e0| 7d 28 7c 7b 5c 69 74 0a | 73 65 63 74 69 6f 6e 5c |}(|{\it.|section\|
|000008f0| 2f 7d 5c 76 65 72 62 7c | 29 7c 20 63 6f 6d 6d 61 |/}\verb||)| comma|
|00000900| 6e 64 20 6d 61 79 20 62 | 65 20 75 73 65 64 20 74 |nd may b|e used t|
|00000910| 6f 20 70 72 6f 64 75 63 | 65 20 72 65 66 65 72 65 |o produc|e refere|
|00000920| 6e 63 65 73 20 74 6f 0a | 6d 61 6e 75 61 6c 20 70 |nces to.|manual p|
|00000930| 61 67 65 20 65 6e 74 72 | 69 65 73 2e 0a 54 68 65 |age entr|ies..The|
|00000940| 20 5c 76 65 72 62 7c 5c | 61 72 67 7b 7c 7b 5c 69 | \verb|\|arg{|{\i|
|00000950| 74 20 61 72 67 75 6d 65 | 6e 74 5c 2f 7d 5c 76 65 |t argume|nt\/}\ve|
|00000960| 72 62 7c 7d 7c 2c 20 5c | 76 65 72 62 7c 5c 73 77 |rb|}|, \|verb|\sw|
|00000970| 69 74 63 68 7b 7c 7b 5c | 69 74 0a 73 77 69 74 63 |itch{|{\|it.switc|
|00000980| 68 5c 2f 7d 5c 76 65 72 | 62 7c 7d 7c 20 61 6e 64 |h\/}\ver|b|}| and|
|00000990| 20 5c 76 65 72 62 7c 5c | 66 69 6c 65 7b 7c 7b 5c | \verb|\|file{|{\|
|000009a0| 69 74 20 66 69 6c 65 5c | 2f 7d 5c 76 65 72 62 7c |it file\|/}\verb||
|000009b0| 7d 7c 20 63 6f 6d 6d 61 | 6e 64 73 20 6d 61 79 20 |}| comma|nds may |
|000009c0| 62 65 0a 75 73 65 64 20 | 77 68 65 6e 20 72 65 66 |be.used |when ref|
|000009d0| 65 72 72 69 6e 67 20 74 | 6f 20 70 72 6f 67 72 61 |erring t|o progra|
|000009e0| 6d 20 61 72 67 75 6d 65 | 6e 74 73 20 61 6e 64 20 |m argume|nts and |
|000009f0| 73 77 69 74 63 68 65 73 | 20 20 61 6e 64 20 74 6f |switches| and to|
|00000a00| 0a 66 69 6c 65 6e 61 6d | 65 73 2e 20 54 68 65 73 |.filenam|es. Thes|
|00000a10| 65 20 70 72 6f 64 75 63 | 65 20 6e 6f 20 69 6e 64 |e produc|e no ind|
|00000a20| 65 78 20 65 6e 74 72 79 | 2e 0a 0a 54 68 69 73 20 |ex entry|...This |
|00000a30| 73 74 79 6c 65 20 61 6c | 73 6f 20 64 65 66 69 6e |style al|so defin|
|00000a40| 65 73 20 61 20 6e 75 6d | 62 65 72 20 6f 66 20 63 |es a num|ber of c|
|00000a50| 6f 6d 6d 6f 6e 20 70 72 | 6f 67 72 61 6d 20 6e 61 |ommon pr|ogram na|
|00000a60| 6d 65 73 20 73 75 63 68 | 20 61 73 0a 5c 6c 61 74 |mes such| as.\lat|
|00000a70| 65 78 2f 2c 20 5c 73 6c | 69 74 65 78 2f 2c 20 65 |ex/, \sl|itex/, e|
|00000a80| 74 63 2e 20 20 54 68 65 | 73 65 20 61 72 65 20 70 |tc. The|se are p|
|00000a90| 72 6f 64 75 63 65 64 20 | 62 79 20 6d 65 61 6e 73 |roduced |by means|
|00000aa0| 20 6f 66 0a 5c 76 65 72 | 62 7c 5c 4c 61 54 65 58 | of.\ver|b|\LaTeX|
|00000ab0| 7c 2c 20 5c 76 65 72 62 | 7c 5c 53 4c 69 54 65 58 ||, \verb||\SLiTeX|
|00000ac0| 7c 20 63 6f 6d 6d 61 6e | 64 73 20 61 6e 64 20 69 || comman|ds and i|
|00000ad0| 6e 64 65 78 65 64 2e 20 | 20 0a 0a 53 75 67 67 65 |ndexed. | ..Sugge|
|00000ae0| 73 74 69 6f 6e 73 20 66 | 6f 72 20 61 64 64 69 74 |stions f|or addit|
|00000af0| 69 6f 6e 73 20 74 6f 20 | 74 68 65 20 6c 69 73 74 |ions to |the list|
|00000b00| 20 6f 66 20 64 65 66 69 | 6e 65 64 20 70 72 6f 67 | of defi|ned prog|
|00000b10| 72 61 6d 20 6e 61 6d 65 | 73 20 61 72 65 0a 77 65 |ram name|s are.we|
|00000b20| 6c 63 6f 6d 65 2e 0a 0a | 5c 73 75 62 73 75 62 73 |lcome...|\subsubs|
|00000b30| 65 63 74 69 6f 6e 7b 54 | 68 65 20 7b 5c 74 74 20 |ection{T|he {\tt |
|00000b40| 74 72 61 64 65 6d 61 72 | 6b 7d 20 53 74 79 6c 65 |trademar|k} Style|
|00000b50| 20 4f 70 74 69 6f 6e 7d | 0a 0a 54 68 65 20 7b 5c | Option}|..The {\|
|00000b60| 74 74 20 74 72 61 64 65 | 6d 61 72 6b 7d 20 73 74 |tt trade|mark} st|
|00000b70| 79 6c 65 20 6f 70 74 69 | 6f 6e 20 64 65 66 69 6e |yle opti|on defin|
|00000b80| 65 73 20 61 20 6e 75 6d | 62 65 72 20 6f 66 20 74 |es a num|ber of t|
|00000b90| 72 61 64 65 6d 61 72 6b | 73 20 61 6e 64 0a 74 72 |rademark|s and.tr|
|00000ba0| 61 64 65 20 6e 61 6d 65 | 73 2e 20 20 46 6f 72 20 |ade name|s. For |
|00000bb0| 65 78 61 6d 70 6c 65 2c | 20 5c 55 6e 69 78 2f 20 |example,| \Unix/ |
|00000bc0| 28 6e 6f 74 65 20 74 68 | 65 20 61 75 74 6f 6d 61 |(note th|e automa|
|00000bd0| 74 69 63 61 6c 6c 79 20 | 64 65 66 69 6e 65 64 0a |tically |defined.|
|00000be0| 66 6f 6f 74 6e 6f 74 65 | 29 20 77 61 73 20 70 72 |footnote|) was pr|
|00000bf0| 6f 64 75 63 65 64 20 62 | 79 20 61 20 5c 76 65 72 |oduced b|y a \ver|
|00000c00| 62 7c 5c 55 6e 69 78 2f | 7c 20 63 6f 6d 6d 61 6e |b|\Unix/|| comman|
|00000c10| 64 2e 20 20 4e 6f 74 65 | 20 74 68 61 74 20 74 68 |d. Note| that th|
|00000c20| 65 72 65 0a 69 73 20 6e | 6f 20 6e 65 65 64 20 74 |ere.is n|o need t|
|00000c30| 6f 20 61 70 70 65 6e 64 | 20 5c 76 65 72 62 2a 7c |o append| \verb*||
|00000c40| 5c 20 7c 20 6f 72 20 5c | 76 65 72 62 7c 7b 7d 7c |\ | or \|verb|{}||
|00000c50| 20 74 6f 20 70 72 65 76 | 65 6e 74 20 74 68 65 0a | to prev|ent the.|
|00000c60| 73 77 61 6c 6c 6f 77 69 | 6e 67 20 75 70 20 6f 66 |swallowi|ng up of|
|00000c70| 20 73 75 63 63 65 65 64 | 69 6e 67 20 73 70 61 63 | succeed|ing spac|
|00000c80| 65 73 2e 0a 0a 53 75 67 | 67 65 73 74 69 6f 6e 73 |es...Sug|gestions|
|00000c90| 20 66 6f 72 20 61 64 64 | 69 74 69 6f 6e 73 20 74 | for add|itions t|
|00000ca0| 6f 20 74 68 65 20 6c 69 | 73 74 20 6f 66 20 74 72 |o the li|st of tr|
|00000cb0| 61 64 65 6d 61 72 6b 73 | 20 61 72 65 20 77 65 6c |ademarks| are wel|
|00000cc0| 63 6f 6d 65 2e 0a 0a 5c | 73 75 62 73 75 62 73 65 |come...\|subsubse|
|00000cd0| 63 74 69 6f 6e 7b 54 68 | 65 20 7b 5c 74 74 20 6c |ction{Th|e {\tt l|
|00000ce0| 63 75 73 74 6f 6d 7d 20 | 53 74 79 6c 65 20 4f 70 |custom} |Style Op|
|00000cf0| 74 69 6f 6e 7d 0a 0a 54 | 68 69 73 20 73 74 79 6c |tion}..T|his styl|
|00000d00| 65 20 63 6f 6e 74 61 69 | 6e 73 20 61 20 77 68 6f |e contai|ns a who|
|00000d10| 6c 65 20 62 75 6e 63 68 | 20 6f 66 20 75 73 65 66 |le bunch| of usef|
|00000d20| 75 6c 20 6c 69 74 74 6c | 65 20 63 6f 6d 6d 61 6e |ul littl|e comman|
|00000d30| 64 0a 64 65 66 69 6e 69 | 74 69 6f 6e 73 2e 20 20 |d.defini|tions. |
|00000d40| 54 68 65 20 5c 76 65 72 | 62 7c 5c 69 6e 70 75 74 |The \ver|b|\input|
|00000d50| 76 65 72 62 61 74 69 6d | 7b 7c 7b 5c 69 74 20 66 |verbatim|{|{\it f|
|00000d60| 69 6c 65 5c 2f 7d 5c 76 | 65 72 62 7c 7d 7c 0a 63 |ile\/}\v|erb|}|.c|
|00000d70| 6f 6d 6d 61 6e 64 20 69 | 6e 73 65 72 74 73 20 74 |ommand i|nserts t|
|00000d80| 68 65 20 66 69 6c 65 20 | 69 6e 20 76 65 72 62 61 |he file |in verba|
|00000d90| 74 69 6d 20 6d 6f 64 65 | 2e 20 20 48 6f 77 65 76 |tim mode|. Howev|
|00000da0| 65 72 2c 20 69 74 20 69 | 73 20 75 73 75 61 6c 6c |er, it i|s usuall|
|00000db0| 79 0a 62 65 74 74 65 72 | 20 74 6f 20 75 73 65 20 |y.better| to use |
|00000dc0| 74 68 65 20 5c 76 65 72 | 62 7c 5c 74 61 67 72 69 |the \ver|b|\tagri|
|00000dd0| 6e 64 7c 20 63 6f 6d 6d | 61 6e 64 20 64 65 73 63 |nd| comm|and desc|
|00000de0| 72 69 62 65 64 20 69 6e | 20 73 65 63 74 69 6f 6e |ribed in| section|
|00000df0| 0a 5c 72 65 66 7b 74 61 | 67 72 69 6e 64 7d 20 66 |.\ref{ta|grind} f|
|00000e00| 6f 72 20 74 68 69 73 20 | 70 75 72 70 6f 73 65 2e |or this |purpose.|
|00000e10| 20 20 41 20 6e 75 6d 62 | 65 72 20 6f 66 20 66 75 | A numb|er of fu|
|00000e20| 72 74 68 65 72 20 63 6f | 6d 6d 61 6e 64 73 0a 70 |rther co|mmands.p|
|00000e30| 72 6f 76 69 64 65 20 61 | 20 63 6c 65 61 6e 20 77 |rovide a| clean w|
|00000e40| 61 79 20 6f 66 20 69 6e | 74 72 6f 64 75 63 69 6e |ay of in|troducin|
|00000e50| 67 20 64 69 61 67 72 61 | 6d 73 20 61 6e 64 20 74 |g diagra|ms and t|
|00000e60| 61 62 6c 65 73 20 66 72 | 6f 6d 0a 73 75 62 73 69 |ables fr|om.subsi|
|00000e70| 64 69 61 72 79 20 66 69 | 6c 65 73 2e 20 20 54 68 |diary fi|les. Th|
|00000e80| 65 79 20 61 72 65 20 73 | 69 6d 69 6c 61 72 20 69 |ey are s|imilar i|
|00000e90| 6e 20 66 6f 72 6d 20 61 | 6e 64 20 75 73 61 67 65 |n form a|nd usage|
|00000ea0| 20 74 6f 20 74 68 65 20 | 74 6f 20 74 68 65 0a 5c | to the |to the.\|
|00000eb0| 76 65 72 62 7c 5c 74 61 | 67 72 69 6e 64 7c 20 63 |verb|\ta|grind| c|
|00000ec0| 6f 6d 6d 61 6e 64 2e 0a | 0a 5c 73 75 62 73 75 62 |ommand..|.\subsub|
|00000ed0| 73 65 63 74 69 6f 6e 7b | 54 68 65 20 7b 5c 74 74 |section{|The {\tt|
|00000ee0| 20 76 64 6d 7d 20 53 74 | 79 6c 65 20 4f 70 74 69 | vdm} St|yle Opti|
|00000ef0| 6f 6e 7d 0a 0a 54 68 65 | 20 7b 5c 74 74 20 76 64 |on}..The| {\tt vd|
|00000f00| 6d 7d 20 73 74 79 6c 65 | 20 6f 70 74 69 6f 6e 20 |m} style| option |
|00000f10| 61 69 64 73 20 74 79 70 | 65 73 65 74 74 69 6e 67 |aids typ|esetting|
|00000f20| 20 6f 66 20 56 44 4d 20 | 73 70 65 63 69 66 69 63 | of VDM |specific|
|00000f30| 61 74 69 6f 6e 73 3a 20 | 69 74 0a 70 72 6f 76 69 |ations: |it.provi|
|00000f40| 64 65 73 20 6d 61 63 72 | 6f 73 20 66 6f 72 20 74 |des macr|os for t|
|00000f50| 79 70 65 73 65 74 74 69 | 6e 67 20 66 6f 72 6d 75 |ypesetti|ng formu|
|00000f60| 6c 61 65 2c 20 64 61 74 | 61 20 74 79 70 65 73 2c |lae, dat|a types,|
|00000f70| 20 66 75 6e 63 74 69 6f | 6e 73 2c 0a 6f 70 65 72 | functio|ns,.oper|
|00000f80| 61 74 69 6f 6e 73 20 61 | 6e 64 20 70 72 6f 6f 66 |ations a|nd proof|
|00000f90| 73 20 69 6e 20 77 68 61 | 74 65 76 65 72 20 74 68 |s in wha|tever th|
|00000fa0| 65 20 63 75 72 72 65 6e | 74 6c 79 20 61 70 70 72 |e curren|tly appr|
|00000fb0| 6f 76 65 64 20 56 44 4d | 20 6d 61 6e 6e 65 72 0a |oved VDM| manner.|
|00000fc0| 68 61 70 70 65 6e 73 20 | 74 6f 20 62 65 2e 20 20 |happens |to be. |
|00000fd0| 41 20 63 6f 70 79 20 6f | 66 20 74 68 65 20 75 73 |A copy o|f the us|
|00000fe0| 65 72 20 6d 61 6e 75 61 | 6c 20 66 6f 72 20 74 68 |er manua|l for th|
|00000ff0| 65 20 7b 5c 74 74 20 76 | 64 6d 7d 20 73 74 79 6c |e {\tt v|dm} styl|
|00001000| 65 20 6f 70 74 69 6f 6e | 0a 63 61 6e 20 62 65 20 |e option|.can be |
|00001010| 6f 62 74 61 69 6e 65 64 | 20 62 79 20 74 79 70 69 |obtained| by typi|
|00001020| 6e 67 0a 5c 62 65 67 69 | 6e 7b 76 65 72 62 61 74 |ng.\begi|n{verbat|
|00001030| 69 6d 7d 0a 20 20 20 20 | 20 6c 61 74 65 78 20 2f |im}. | latex /|
|00001040| 75 73 72 2f 6c 69 62 2f | 74 65 78 2f 6d 61 63 72 |usr/lib/|tex/macr|
|00001050| 6f 73 2f 76 64 6d 2e 74 | 65 78 0a 5c 65 6e 64 7b |os/vdm.t|ex.\end{|
|00001060| 76 65 72 62 61 74 69 6d | 7d 0a |verbatim|}. |
+--------+-------------------------+-------------------------+--------+--------+
